<html>
<head><meta charset="utf-8"><title>meeting 2020-10-27 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html">meeting 2020-10-27</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="214754460"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754460" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754460">(Oct 27 2020 at 19:50)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span> <br>
Meeting in 10 minutes.</p>



<a name="214754463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754463">(Oct 27 2020 at 19:50)</a>:</h4>
<p>Today is apparently the end of the sprint, so we should discuss that :)</p>



<a name="214754512"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754512" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754512">(Oct 27 2020 at 19:51)</a>:</h4>
<p>ah right, timezone shenanigans, an hour earlier for just one week</p>



<a name="214754513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754513">(Oct 27 2020 at 19:51)</a>:</h4>
<p>And also we can discuss <code>ReErased</code> and <code>ReEmpty</code> in Chalk</p>



<a name="214754562"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754562" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754562">(Oct 27 2020 at 19:51)</a>:</h4>
<p>Oh, time changed?</p>



<a name="214754691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754691">(Oct 27 2020 at 19:52)</a>:</h4>
<p>times are a'changing</p>



<a name="214754782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754782">(Oct 27 2020 at 19:53)</a>:</h4>
<p>that sprint went by fast</p>



<a name="214754862"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754862" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754862">(Oct 27 2020 at 19:54)</a>:</h4>
<p>Indeed</p>



<a name="214754910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754910">(Oct 27 2020 at 19:54)</a>:</h4>
<p>There wasn't a <em>ton</em> of activity</p>



<a name="214754923"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754923" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754923">(Oct 27 2020 at 19:54)</a>:</h4>
<p>(at least compared to the last couple)</p>



<a name="214754965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754965">(Oct 27 2020 at 19:54)</a>:</h4>
<p>Sprint doc: <a href="https://hackmd.io/s1MfBn4bRjyir-aqHZzbKQ">https://hackmd.io/s1MfBn4bRjyir-aqHZzbKQ</a></p>



<a name="214754986"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214754986" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214754986">(Oct 27 2020 at 19:54)</a>:</h4>
<p>Meeting agenda/log: <a href="https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg?both">https://hackmd.io/nrhN5A8sR2eY9UdfJTKcJg?both</a></p>



<a name="214755016"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214755016" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214755016">(Oct 27 2020 at 19:55)</a>:</h4>
<p>We/I haven't been doing a good job at keeping these up to date</p>



<a name="214755240"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214755240" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214755240">(Oct 27 2020 at 19:56)</a>:</h4>
<p>no we haven't</p>



<a name="214755782"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214755782" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214755782">(Oct 27 2020 at 20:00)</a>:</h4>
<p>Ok <span class="user-group-mention" data-user-group-id="692">@WG-traits</span></p>



<a name="214755790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214755790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214755790">(Oct 27 2020 at 20:00)</a>:</h4>
<p>Meeting time</p>



<a name="214755891"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214755891" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214755891">(Oct 27 2020 at 20:01)</a>:</h4>
<p>So, announcements to start?</p>



<a name="214755911"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214755911" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214755911">(Oct 27 2020 at 20:01)</a>:</h4>
<p>So, big refactoring happened to Chalk this week</p>



<a name="214755935"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214755935" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214755935">(Oct 27 2020 at 20:01)</a>:</h4>
<p>And now Chalk more closely matches rustc</p>



<a name="214755996"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214755996" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214755996">(Oct 27 2020 at 20:01)</a>:</h4>
<p>i.e. <code>TyData</code> -&gt; <code>TyKind</code> and <code>TypeName</code> has been merged into <code>TyKind</code></p>



<a name="214756012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756012">(Oct 27 2020 at 20:01)</a>:</h4>
<p>Woah</p>



<a name="214756018"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756018" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756018">(Oct 27 2020 at 20:02)</a>:</h4>
<p>I didn't even notice that go by :)</p>



<a name="214756069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756069">(Oct 27 2020 at 20:02)</a>:</h4>
<p>hehe</p>



<a name="214756079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756079">(Oct 27 2020 at 20:02)</a>:</h4>
<p>Well, we did some reviewing on the Variance + Generalizer PR</p>



<a name="214756097"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756097" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756097">(Oct 27 2020 at 20:02)</a>:</h4>
<p>That too :)</p>



<a name="214756100"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756100" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756100">(Oct 27 2020 at 20:02)</a>:</h4>
<p>which is looking really good modulo those points that were raised</p>



<a name="214756121"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756121" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756121">(Oct 27 2020 at 20:02)</a>:</h4>
<p>I pushed the lifetime variance fix</p>



<a name="214756127"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756127" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756127">(Oct 27 2020 at 20:02)</a>:</h4>
<p>and renamed</p>



<a name="214756156"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756156" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756156">(Oct 27 2020 at 20:02)</a>:</h4>
<p>I was a bit surprised that more tests didn't have to be updated</p>



<a name="214756164"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756164" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756164">(Oct 27 2020 at 20:02)</a>:</h4>
<p>Need to reply to your comment on the deepnormalizer</p>



<a name="214756167"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756167" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756167">(Oct 27 2020 at 20:02)</a>:</h4>
<p>but maybe I didn't see all the diffs</p>



<a name="214756184"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756184" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756184">(Oct 27 2020 at 20:03)</a>:</h4>
<p>So</p>



<a name="214756242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756242">(Oct 27 2020 at 20:03)</a>:</h4>
<p>By default, struct and fn def params are still <code>Invariant</code></p>



<a name="214756260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756260">(Oct 27 2020 at 20:03)</a>:</h4>
<p>So nothing <em>should</em> change</p>



<a name="214756451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756451">(Oct 27 2020 at 20:04)</a>:</h4>
<p>Updating rustc for the latest chalk version is going to be fun</p>



<a name="214756492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756492">(Oct 27 2020 at 20:04)</a>:</h4>
<p>simplifying the mapping, you mean?</p>



<a name="214756516"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756516" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756516">(Oct 27 2020 at 20:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> can you take a quick look at <a href="https://github.com/rust-lang/chalk/issues/633">chalk#633</a> when you get a chance</p>



<a name="214756530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756530">(Oct 27 2020 at 20:05)</a>:</h4>
<p>yep</p>



<a name="214756536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756536">(Oct 27 2020 at 20:05)</a>:</h4>
<p><span class="user-mention" data-user-id="125131">@detrumi</span> yes</p>



<a name="214756563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756563">(Oct 27 2020 at 20:05)</a>:</h4>
<p>so I think the focus for the next sprint ought to be the type library</p>



<a name="214756565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756565">(Oct 27 2020 at 20:05)</a>:</h4>
<p>I'm working on some fixes to the integration so might update chalk at the same time.</p>



<a name="214756595"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756595" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756595">(Oct 27 2020 at 20:05)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-10-27/near/214756563">said</a>:</p>
<blockquote>
<p>so I think the focus for the next sprint ought to be the type library</p>
</blockquote>
<p>I agree</p>



<a name="214756608"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756608" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756608">(Oct 27 2020 at 20:05)</a>:</h4>
<p>and I'm wondering if it'd be useful to allocate some group time (maybe with Zoom) to try and sketch a plan</p>



<a name="214756626"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756626" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756626">(Oct 27 2020 at 20:06)</a>:</h4>
<p>I feel like clearly i'm not going to do it async ;)</p>



<a name="214756668"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756668" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756668">(Oct 27 2020 at 20:06)</a>:</h4>
<p>haha, I can be available for sync discussion</p>



<a name="214756704"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756704" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756704">(Oct 27 2020 at 20:06)</a>:</h4>
<p>I note that <span class="user-mention" data-user-id="216206">@lcnr</span>'s changes to make <code>TypeFoldable</code> methods take ownership are relevant too</p>



<a name="214756744"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756744" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756744">(Oct 27 2020 at 20:06)</a>:</h4>
<p>yes</p>



<a name="214756781"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756781" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756781">(Oct 27 2020 at 20:07)</a>:</h4>
<p>Wait, did I miss that</p>



<a name="214756798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756798">(Oct 27 2020 at 20:07)</a>:</h4>
<p>All I saw was <code>Lift</code> taking <code>self</code></p>



<a name="214756856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756856">(Oct 27 2020 at 20:07)</a>:</h4>
<p>Oh, <a href="https://github.com/rust-lang/rust/issues/78313">#78313</a></p>



<a name="214756982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214756982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214756982">(Oct 27 2020 at 20:08)</a>:</h4>
<p>Oh I did see this but it didn't register in my mind</p>



<a name="214757087"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757087" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757087">(Oct 27 2020 at 20:09)</a>:</h4>
<p>But yes, I definitely think next sprint should be towards the type library</p>



<a name="214757130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757130">(Oct 27 2020 at 20:09)</a>:</h4>
<p>The biggest hurdle I think at this point might be <code>Param</code></p>



<a name="214757158"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757158" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757158">(Oct 27 2020 at 20:09)</a>:</h4>
<p>should we do the sync meeting before actually starting the sprint?</p>



<a name="214757163"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757163" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757163">(Oct 27 2020 at 20:09)</a>:</h4>
<p>yeah</p>



<a name="214757182"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757182" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757182">(Oct 27 2020 at 20:10)</a>:</h4>
<p>we should try to make some plans I think</p>



<a name="214757247"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757247" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757247">(Oct 27 2020 at 20:10)</a>:</h4>
<p>I wonder if the right thing is to solve the hard problems</p>



<a name="214757255"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757255" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757255">(Oct 27 2020 at 20:10)</a>:</h4>
<p>or to work on the easy ones</p>



<a name="214757260"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757260" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757260">(Oct 27 2020 at 20:10)</a>:</h4>
<p>I kind of think the latter ;)</p>



<a name="214757264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757264">(Oct 27 2020 at 20:10)</a>:</h4>
<p>We could also potentially just dedicate next week's meeting as the sync meeting</p>



<a name="214757271"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757271" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757271">(Oct 27 2020 at 20:10)</a>:</h4>
<p>i.e., trying to align folding, visiting, and types</p>



<a name="214757295"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757295" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757295">(Oct 27 2020 at 20:10)</a>:</h4>
<p>but not maybe resolving the challenges around binders</p>



<a name="214757305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757305">(Oct 27 2020 at 20:10)</a>:</h4>
<p>I definitely think we can start with the easy ones</p>



<a name="214757327"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757327" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757327">(Oct 27 2020 at 20:10)</a>:</h4>
<p>I guess by <code>Param</code> you mean the way the compiler uses it for two roles?</p>



<a name="214757338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757338">(Oct 27 2020 at 20:10)</a>:</h4>
<p>I feel like we need to get some wins:)</p>



<a name="214757342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757342">(Oct 27 2020 at 20:11)</a>:</h4>
<p>or maybe tht's just me</p>



<a name="214757376"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757376" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757376">(Oct 27 2020 at 20:11)</a>:</h4>
<p>By <code>Param</code>, I just mean it's existence in rustc but not Chalk</p>



<a name="214757394"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757394" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757394">(Oct 27 2020 at 20:11)</a>:</h4>
<p>yeah</p>



<a name="214757573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757573">(Oct 27 2020 at 20:12)</a>:</h4>
<p>I think that even if we can't <em>actually</em> share a type library yet (until maybe the binders and <code>Param</code>, and placeholder canonicalization is done), we can definitely split out what <em>will</em> be the shared type library into a separate crate from rustc_middle</p>



<a name="214757653"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757653" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757653">(Oct 27 2020 at 20:13)</a>:</h4>
<p>I imagine that we can work towards a point where there will eventually be a PR that deletes that crate and it's uses are replaces by chalk-ir (or it just becomes used by Chalk)</p>



<a name="214757673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757673">(Oct 27 2020 at 20:13)</a>:</h4>
<p>yeah</p>



<a name="214757679"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757679" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757679">(Oct 27 2020 at 20:13)</a>:</h4>
<p>that's kind of what I was imagining</p>



<a name="214757692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757692">(Oct 27 2020 at 20:13)</a>:</h4>
<p>ah, interesting</p>



<a name="214757770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757770">(Oct 27 2020 at 20:14)</a>:</h4>
<p>There might be things we'll run into when moving things out of rustc_middle</p>



<a name="214757776"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757776" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757776">(Oct 27 2020 at 20:14)</a>:</h4>
<p>was thinking it would become used by Chalk, but the other way around sounds better</p>



<a name="214757798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757798">(Oct 27 2020 at 20:14)</a>:</h4>
<p>I imagine we will start running into problems like <em>immediately</em> :)</p>



<a name="214757814"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757814" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757814">(Oct 27 2020 at 20:14)</a>:</h4>
<p>yeah probably</p>



<a name="214757849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757849">(Oct 27 2020 at 20:15)</a>:</h4>
<p>So, that'll be some fun refactorings</p>



<a name="214757902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757902">(Oct 27 2020 at 20:15)</a>:</h4>
<p>Anyways, let's postpone this discussion until dedicated meeting</p>



<a name="214757917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757917">(Oct 27 2020 at 20:15)</a>:</h4>
<p>And let's go over the current sprint</p>



<a name="214757989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214757989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214757989">(Oct 27 2020 at 20:16)</a>:</h4>
<p>So, to start, we had planned a couple design meetings:</p>



<a name="214758017"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758017" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758017">(Oct 27 2020 at 20:16)</a>:</h4>
<ul>
<li>Placeholder canonicalization<ul>
<li>Current status/recap</li>
<li>Canonical vs. instantiated program clauses</li>
</ul>
</li>
<li>Removing <code>Param</code> in rustc<ul>
<li>How is it used currently?</li>
<li>Prior work/experimenting?</li>
<li>Removal steps?</li>
<li>Alternatives? Adding to Chalk?</li>
</ul>
</li>
<li>Const evaluation<ul>
<li>Open PR</li>
<li><code>TooGeneric</code> vs <code>EvaluationError</code></li>
</ul>
</li>
<li>What does it mean to be <code>WellFormed</code></li>
</ul>



<a name="214758026"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758026" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758026">(Oct 27 2020 at 20:16)</a>:</h4>
<p>Oh bad formatting</p>



<a name="214758108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758108">(Oct 27 2020 at 20:17)</a>:</h4>
<p>I think we somewhat got through each of them</p>



<a name="214758131"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758131" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758131">(Oct 27 2020 at 20:17)</a>:</h4>
<p>yeah, somewhat</p>



<a name="214758153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758153">(Oct 27 2020 at 20:17)</a>:</h4>
<p>It's probably worth at least summarizing the things we talked about and adding it to the wg-traits repo</p>



<a name="214758189"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758189" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758189">(Oct 27 2020 at 20:17)</a>:</h4>
<p>(side note, so behind on minutes)</p>



<a name="214758282"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758282" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758282">(Oct 27 2020 at 20:18)</a>:</h4>
<p>maybe just links to the meeting notes</p>



<a name="214758290"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758290" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758290">(Oct 27 2020 at 20:18)</a>:</h4>
<p>might suffice</p>



<a name="214758309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758309">(Oct 27 2020 at 20:18)</a>:</h4>
<p>So</p>



<a name="214758322"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758322" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758322">(Oct 27 2020 at 20:18)</a>:</h4>
<p>I definitely <em>want</em> to do that</p>



<a name="214758363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758363">(Oct 27 2020 at 20:19)</a>:</h4>
<p>But 1) meeting notes haven't really been updated well</p>



<a name="214758389"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758389" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758389">(Oct 27 2020 at 20:19)</a>:</h4>
<p>well, that's it</p>



<a name="214758392"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758392" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758392">(Oct 27 2020 at 20:19)</a>:</h4>
<p>sorry</p>



<a name="214758398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758398">(Oct 27 2020 at 20:19)</a>:</h4>
<p>I meant links to the zulip topics</p>



<a name="214758407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758407">(Oct 27 2020 at 20:19)</a>:</h4>
<p>i.e., on <a href="http://zulip-archive.rust-lang.org">zulip-archive.rust-lang.org</a></p>



<a name="214758409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758409">(Oct 27 2020 at 20:19)</a>:</h4>
<p>Ah, so</p>



<a name="214758434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758434">(Oct 27 2020 at 20:19)</a>:</h4>
<p>I feel like there's helpfulness in creating a summary</p>



<a name="214758453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758453">(Oct 27 2020 at 20:19)</a>:</h4>
<p>I do too, I'm just thinking that it's a big investment in time</p>



<a name="214758514"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758514" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758514">(Oct 27 2020 at 20:20)</a>:</h4>
<p>and having at least links for folks to click may be much easier</p>



<a name="214758518"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758518" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758518">(Oct 27 2020 at 20:20)</a>:</h4>
<p>and still has value</p>



<a name="214758521"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758521" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758521">(Oct 27 2020 at 20:20)</a>:</h4>
<p>so people (including our future selves) don't have to read through the entire meeting discussion</p>



<a name="214758531"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758531" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758531">(Oct 27 2020 at 20:20)</a>:</h4>
<p>also for us to click later</p>



<a name="214758557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758557">(Oct 27 2020 at 20:20)</a>:</h4>
<p>But yeah, I think it's kind of a heavy investment in time</p>



<a name="214758565"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758565" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758565">(Oct 27 2020 at 20:20)</a>:</h4>
<p>That I don't really have</p>



<a name="214758584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758584">(Oct 27 2020 at 20:20)</a>:</h4>
<p>And haven't really have volunteers</p>



<a name="214758639"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758639" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758639">(Oct 27 2020 at 20:21)</a>:</h4>
<p>So, at the very least, I <em>will</em> update wg-traits with links to the meetings</p>



<a name="214758733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758733">(Oct 27 2020 at 20:21)</a>:</h4>
<p>so I'm skimming old topics</p>



<a name="214758742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758742">(Oct 27 2020 at 20:21)</a>:</h4>
<p>Anyways, let's continue sprint discussion</p>



<a name="214758745"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758745" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758745">(Oct 27 2020 at 20:21)</a>:</h4>
<p>it looks like there is work on adding <code>TypeFlags</code></p>



<a name="214758758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758758">(Oct 27 2020 at 20:22)</a>:</h4>
<p>Haha yes</p>



<a name="214758915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758915">(Oct 27 2020 at 20:22)</a>:</h4>
<p>So, one of the things we discussed for current sprint was <strong>shared type library</strong></p>



<a name="214758939"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758939" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758939">(Oct 27 2020 at 20:23)</a>:</h4>
<p>So, maybe we should recap what all we did do</p>



<a name="214758972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214758972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214758972">(Oct 27 2020 at 20:23)</a>:</h4>
<p>(sorry, one sec, brb)</p>



<a name="214759224"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759224" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759224">(Oct 27 2020 at 20:25)</a>:</h4>
<p>Ok back, sorry, work</p>



<a name="214759269"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759269" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759269">(Oct 27 2020 at 20:25)</a>:</h4>
<p>ok well</p>



<a name="214759274"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759274" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759274">(Oct 27 2020 at 20:25)</a>:</h4>
<p>So, I think <code>kind</code> -&gt; <code>kind()</code> was this sprint</p>



<a name="214759287"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759287" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759287">(Oct 27 2020 at 20:25)</a>:</h4>
<p>yeah</p>



<a name="214759310"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759310" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759310">(Oct 27 2020 at 20:25)</a>:</h4>
<p>and we explored <code>kind -&gt; data</code> but wound up renaming things in chalk instead</p>



<a name="214759320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759320">(Oct 27 2020 at 20:25)</a>:</h4>
<p>obviously, the big Chalk refactoring</p>



<a name="214759330"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759330" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759330">(Oct 27 2020 at 20:25)</a>:</h4>
<p>and we're working towards introducing type flags</p>



<a name="214759401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759401">(Oct 27 2020 at 20:26)</a>:</h4>
<p>Let me pull up the wg-traits issue and update that...</p>



<a name="214759434"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759434" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759434">(Oct 27 2020 at 20:26)</a>:</h4>
<p>(<a href="https://github.com/rust-lang/wg-traits/issues/16">rust-lang/wg-traits#16</a>)</p>



<a name="214759477"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759477" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759477">(Oct 27 2020 at 20:26)</a>:</h4>
<p>so we mainly focused on handling the type variants so far, and less on lifetimes etc.</p>



<a name="214759604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759604">(Oct 27 2020 at 20:27)</a>:</h4>
<p>Hmm, is <em>now</em> a good time to discuss <code>ReErased</code> and <code>ReEmpty</code>?</p>



<a name="214759641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759641">(Oct 27 2020 at 20:28)</a>:</h4>
<p>sure, why not</p>



<a name="214759682"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759682" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759682">(Oct 27 2020 at 20:28)</a>:</h4>
<p>remind me what those are?</p>



<a name="214759708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759708">(Oct 27 2020 at 20:28)</a>:</h4>
<blockquote>
<p>Experiment with removing Apply and TypeName and inlining those as distinct variants in chalk's type</p>
</blockquote>
<p>er, sorry</p>



<a name="214759733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759733">(Oct 27 2020 at 20:28)</a>:</h4>
<p>I meant to say</p>



<a name="214759740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759740">(Oct 27 2020 at 20:28)</a>:</h4>
<p>I think we can check this off :)</p>



<a name="214759758"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759758" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759758">(Oct 27 2020 at 20:28)</a>:</h4>
<p>(and I did so)</p>



<a name="214759794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759794">(Oct 27 2020 at 20:29)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-10-27/near/214759604">said</a>:</p>
<blockquote>
<p>Hmm, is <em>now</em> a good time to discuss <code>ReErased</code> and <code>ReEmpty</code>?</p>
</blockquote>
<p>so... <code>ReErased</code> is used by the compiler late in compilation</p>



<a name="214759804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759804">(Oct 27 2020 at 20:29)</a>:</h4>
<p>it indicates a region that is not known</p>



<a name="214759873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759873">(Oct 27 2020 at 20:29)</a>:</h4>
<p>In regards to <code>ReErased</code>, I had a thought</p>



<a name="214759879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759879">(Oct 27 2020 at 20:29)</a>:</h4>
<p><code>ReEmpty</code> is used, I think, primarily in the older "lexical region inference", which I guess we haven't fully removed yet</p>



<a name="214759890"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759890" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759890">(Oct 27 2020 at 20:29)</a>:</h4>
<p>it's kind of the opposite of "static"</p>



<a name="214759904"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759904" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759904">(Oct 27 2020 at 20:29)</a>:</h4>
<p>And the answer is probably a <em>no</em> because of perf</p>



<a name="214759910"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759910" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759910">(Oct 27 2020 at 20:29)</a>:</h4>
<p>if "static" means "data that lives forever", "empty" means "data that is never valid"</p>



<a name="214759991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214759991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214759991">(Oct 27 2020 at 20:30)</a>:</h4>
<p>But for the bit of compilation that needs erased regions, should those use a different region enum</p>



<a name="214760049"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760049" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760049">(Oct 27 2020 at 20:30)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-10-27/near/214759910">said</a>:</p>
<blockquote>
<p>if "static" means "data that lives forever", "empty" means "data that is never valid"</p>
</blockquote>
<p>so it's valid as long as it's not used?</p>



<a name="214760153"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760153" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760153">(Oct 27 2020 at 20:31)</a>:</h4>
<p>er, nvm, that's confusingly worded by me</p>



<a name="214760345"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760345" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760345">(Oct 27 2020 at 20:32)</a>:</h4>
<p>a different enum doesn't sound too bad for performance?</p>



<a name="214760413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760413">(Oct 27 2020 at 20:33)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-10-27/near/214759991">said</a>:</p>
<blockquote>
<p>But for the bit of compilation that needs erased regions, should those use a different region enum</p>
</blockquote>
<p>yeah, it's probably not practical</p>



<a name="214760428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760428">(Oct 27 2020 at 20:33)</a>:</h4>
<p>in principle we could do it with a distinct <code>Interners</code> or something</p>



<a name="214760451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760451">(Oct 27 2020 at 20:33)</a>:</h4>
<p>(maybe)</p>



<a name="214760472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760472">(Oct 27 2020 at 20:33)</a>:</h4>
<p>well, two different bits: 1) There's a complexity overhead of having a different enum for one bit of compilation and 2) they have to be translated at some point, whereas now it's free</p>



<a name="214760525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760525">(Oct 27 2020 at 20:34)</a>:</h4>
<p>right</p>



<a name="214760530"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760530" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760530">(Oct 27 2020 at 20:34)</a>:</h4>
<p>also</p>



<a name="214760535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760535">(Oct 27 2020 at 20:34)</a>:</h4>
<p>memory use</p>



<a name="214760552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760552">(Oct 27 2020 at 20:34)</a>:</h4>
<p>Would it ever be possible to <em>remove</em> <code>ReErased</code></p>



<a name="214760558"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760558" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760558">(Oct 27 2020 at 20:34)</a>:</h4>
<p>in particular</p>



<a name="214760570"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760570" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760570">(Oct 27 2020 at 20:34)</a>:</h4>
<p>for types that do not have regions</p>



<a name="214760575"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760575" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760575">(Oct 27 2020 at 20:34)</a>:</h4>
<p>you don't want to have to re-intern them</p>



<a name="214760604"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760604" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760604">(Oct 27 2020 at 20:34)</a>:</h4>
<p>but they don't have the same type in all the phases</p>



<a name="214760700"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760700" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760700">(Oct 27 2020 at 20:35)</a>:</h4>
<p>Being able to erase regions to improve caching is probably too useful to remove.</p>



<a name="214760788"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760788" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760788">(Oct 27 2020 at 20:36)</a>:</h4>
<p>yeah I think we just have to live with it, but it shouldn't add that much complexity really</p>



<a name="214760851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760851">(Oct 27 2020 at 20:36)</a>:</h4>
<p>Hmm</p>



<a name="214760880"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760880" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760880">(Oct 27 2020 at 20:36)</a>:</h4>
<p>Okay, so for <code>ReErased</code>, if we add it to Chalk</p>



<a name="214760901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760901">(Oct 27 2020 at 20:36)</a>:</h4>
<p>Do we just <code>panic</code> if we ever see it?</p>



<a name="214760917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214760917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214760917">(Oct 27 2020 at 20:37)</a>:</h4>
<p>Or should we try to handle it</p>



<a name="214761031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761031">(Oct 27 2020 at 20:38)</a>:</h4>
<p>Handle it. It shouldn't be much more special than <code>'static</code>, and that I don't remember that being a large diff</p>



<a name="214761044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761044">(Oct 27 2020 at 20:38)</a>:</h4>
<p>I guess, same question for <code>ReEmpty</code> if we need to add it</p>



<a name="214761075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761075">(Oct 27 2020 at 20:38)</a>:</h4>
<p>Yeah, <code>'static</code> was small and easy</p>



<a name="214761130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761130">(Oct 27 2020 at 20:39)</a>:</h4>
<p>So, can someone who knows how <code>ReErased</code> should behave make a PR?</p>



<a name="214761265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761265">(Oct 27 2020 at 20:40)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> disappeared :O</p>



<a name="214761270"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761270" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761270">(Oct 27 2020 at 20:40)</a>:</h4>
<p>Sure, create an issue and assign it to me.</p>



<a name="214761306"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761306" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761306">(Oct 27 2020 at 20:40)</a>:</h4>
<p>Nice. And <code>ReEmpty</code>?</p>



<a name="214761334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761334">(Oct 27 2020 at 20:41)</a>:</h4>
<p>I may as well do both together.</p>



<a name="214761338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761338">(Oct 27 2020 at 20:41)</a>:</h4>
<p><a href="https://github.com/rust-lang/chalk/issues/637">chalk#637</a></p>



<a name="214761362"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761362" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761362">(Oct 27 2020 at 20:41)</a>:</h4>
<p>Sure</p>



<a name="214761459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761459">(Oct 27 2020 at 20:42)</a>:</h4>
<p>I've definitely started to get into the mindset of "I want to get things working, and if that means adding things to Chalk that might not be needed in a perfect world, so be it"</p>



<a name="214761462"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761462" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761462">(Oct 27 2020 at 20:42)</a>:</h4>
<p>I think that's about it for the shared type library last sprint, let's move onto the next point?</p>



<a name="214761489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761489">(Oct 27 2020 at 20:42)</a>:</h4>
<h1>rust-analyzer</h1>



<a name="214761513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761513">(Oct 27 2020 at 20:42)</a>:</h4>
<p>right, so</p>



<a name="214761547"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761547" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761547">(Oct 27 2020 at 20:42)</a>:</h4>
<p>When we talked about this last time, there wasn't anything</p>



<a name="214761560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761560">(Oct 27 2020 at 20:43)</a>:</h4>
<p>Anything now?</p>



<a name="214761563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761563">(Oct 27 2020 at 20:43)</a>:</h4>
<p>I was planning on adding type aliases, so r-a can show the types that users typed better</p>



<a name="214761584"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761584" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761584">(Oct 27 2020 at 20:43)</a>:</h4>
<p>haven't finished it yet, I really should</p>



<a name="214761598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761598">(Oct 27 2020 at 20:43)</a>:</h4>
<p>Nice</p>



<a name="214761618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761618">(Oct 27 2020 at 20:43)</a>:</h4>
<p>I don't think <code>Generator</code> support has been added either</p>



<a name="214761645"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761645" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761645">(Oct 27 2020 at 20:44)</a>:</h4>
<p>hm, wasn't there a PR in chalk at some point? or do you mean in rust-analyzer?</p>



<a name="214761697"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761697" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761697">(Oct 27 2020 at 20:44)</a>:</h4>
<p>In rust-analyzer</p>



<a name="214761720"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761720" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761720">(Oct 27 2020 at 20:44)</a>:</h4>
<p>But I don't think that's there's anything <em>we</em> need to do for rust-analyzer</p>



<a name="214761723"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761723" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761723">(Oct 27 2020 at 20:44)</a>:</h4>
<p>So let's move on</p>



<a name="214761742"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761742" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761742">(Oct 27 2020 at 20:44)</a>:</h4>
<p>there's one thing I'd like to do at some point</p>



<a name="214761774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761774">(Oct 27 2020 at 20:45)</a>:</h4>
<p>we added the ability to print chalk programs from rust-analyzer debug output</p>



<a name="214761797"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761797" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761797">(Oct 27 2020 at 20:45)</a>:</h4>
<p>usable from the analysis-stats infra</p>



<a name="214761806"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761806" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761806">(Oct 27 2020 at 20:45)</a>:</h4>
<p>right</p>



<a name="214761833"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761833" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761833">(Oct 27 2020 at 20:45)</a>:</h4>
<p>I'd like to extend that at some point to gather all those programs, so we can test re-entering them in Chalk or something</p>



<a name="214761859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761859">(Oct 27 2020 at 20:45)</a>:</h4>
<p>Ah, that would be nice</p>



<a name="214761925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761925">(Oct 27 2020 at 20:46)</a>:</h4>
<p>Anyways, let's move on. A bit low on time</p>



<a name="214761930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761930">(Oct 27 2020 at 20:46)</a>:</h4>
<h1>MVP of rustc-integration</h1>



<a name="214761960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761960">(Oct 27 2020 at 20:46)</a>:</h4>
<p>So, I guess under this item we can put the updates in rustc for Chalk</p>



<a name="214761973"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214761973" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214761973">(Oct 27 2020 at 20:46)</a>:</h4>
<p>And also some of the test triage we did</p>



<a name="214762011"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762011" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762011">(Oct 27 2020 at 20:46)</a>:</h4>
<p>But that was a couple weeks ago</p>



<a name="214762036"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762036" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762036">(Oct 27 2020 at 20:47)</a>:</h4>
<p>the very last point, auto traits for builtin types, was also related to this, because it's causing a lot of test failures</p>



<a name="214762050"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762050" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762050">(Oct 27 2020 at 20:47)</a>:</h4>
<p>I'd like to take another look after we upgrade for this week's chalk</p>



<a name="214762101"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762101" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762101">(Oct 27 2020 at 20:47)</a>:</h4>
<p>Hmm, what builtin types did we add this sprint?</p>



<a name="214762138"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762138" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762138">(Oct 27 2020 at 20:47)</a>:</h4>
<p>Was it just <code>Generator</code> (or was that before this sprint)</p>



<a name="214762186"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762186" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762186">(Oct 27 2020 at 20:48)</a>:</h4>
<p>Also included in that is auto traits</p>



<a name="214762218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762218">(Oct 27 2020 at 20:48)</a>:</h4>
<p>ah, maybe that was last sprint, yeah</p>



<a name="214762229"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762229" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762229">(Oct 27 2020 at 20:48)</a>:</h4>
<p>(for builtin types)</p>



<a name="214762251"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762251" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762251">(Oct 27 2020 at 20:48)</a>:</h4>
<p>There's a couple builtin types left without auto trait support</p>



<a name="214762312"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762312" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762312">(Oct 27 2020 at 20:49)</a>:</h4>
<p><code>OpaqueType</code>s</p>



<a name="214762336"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762336" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762336">(Oct 27 2020 at 20:49)</a>:</h4>
<p>and <code>AssociatedType</code>s</p>



<a name="214762414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762414">(Oct 27 2020 at 20:50)</a>:</h4>
<p>I thought opaque types did support auto traits.</p>



<a name="214762449"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762449" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762449">(Oct 27 2020 at 20:50)</a>:</h4>
<p>I don't remember. <span class="user-mention" data-user-id="125131">@detrumi</span> ?</p>



<a name="214762471"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762471" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762471">(Oct 27 2020 at 20:50)</a>:</h4>
<p>should be there</p>



<a name="214762494"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762494" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762494">(Oct 27 2020 at 20:50)</a>:</h4>
<p>(It's unimplemented <a href="https://github.com/rust-lang/chalk/blob/70e77f1cbe078c378b5253ae799211e19022e3e9/chalk-solve/src/clauses.rs#L78">here</a>)</p>



<a name="214762532"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762532" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762532">(Oct 27 2020 at 20:51)</a>:</h4>
<p>There are some issues, which I'm working on a fix for, but it at least somewhat works.</p>



<a name="214762553"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762553" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762553">(Oct 27 2020 at 20:51)</a>:</h4>
<p>That should be <code>unreachable</code> I think...</p>



<a name="214762554"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762554" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762554">(Oct 27 2020 at 20:51)</a>:</h4>
<p>But I don't actually remember what <code>TyKind::OpaqueType</code> is instead of <code>AliasTy::Opaque</code></p>



<a name="214762635"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762635" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762635">(Oct 27 2020 at 20:52)</a>:</h4>
<p>So, it definitely is reachable. rust-analyzer had a ton of issues</p>



<a name="214762673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762673">(Oct 27 2020 at 20:52)</a>:</h4>
<p>I'm not sure we need both of those, actually</p>



<a name="214762696"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762696" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762696">(Oct 27 2020 at 20:52)</a>:</h4>
<p>there was a reason we did it that way, but the design slightly changed so it might not be needed anymore</p>



<a name="214762722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762722">(Oct 27 2020 at 20:53)</a>:</h4>
<p>The <code>TyKind::AssociatedType</code> branch might be unreachable</p>



<a name="214762724"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762724" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762724">(Oct 27 2020 at 20:53)</a>:</h4>
<p>It's the same difference as with <code>AliasTy::Projection</code> and <code>TyKind::AssociatedType</code></p>



<a name="214762779"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762779" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762779">(Oct 27 2020 at 20:53)</a>:</h4>
<p>Is it?</p>



<a name="214762791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762791">(Oct 27 2020 at 20:53)</a>:</h4>
<p>I'm not sure <em>when</em> we would return that though</p>



<a name="214762847"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762847" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762847">(Oct 27 2020 at 20:54)</a>:</h4>
<p>Looks pretty unreachable to me: <a href="https://github.com/rust-lang/chalk/blob/ea532e03adfeb7fa6cc68881a1205a2f3d2b1933/chalk-solve/src/clauses.rs#L188">https://github.com/rust-lang/chalk/blob/ea532e03adfeb7fa6cc68881a1205a2f3d2b1933/chalk-solve/src/clauses.rs#L188</a></p>



<a name="214762914"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762914" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762914">(Oct 27 2020 at 20:54)</a>:</h4>
<p>oh fun, it says unimplemented for opaque/associated there as well</p>



<a name="214762941"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762941" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762941">(Oct 27 2020 at 20:55)</a>:</h4>
<p>Only because I added the empty arms so that rust-analyzer stopped crashing</p>



<a name="214762943"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762943" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762943">(Oct 27 2020 at 20:55)</a>:</h4>
<p>That's correct, they're handled elsewhere.</p>



<a name="214762972"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762972" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762972">(Oct 27 2020 at 20:55)</a>:</h4>
<p>ah, then that should actually be <code>unreachable!()</code>?</p>



<a name="214762987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214762987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214762987">(Oct 27 2020 at 20:55)</a>:</h4>
<p>But that handling should maybe be moved there.</p>



<a name="214763007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763007">(Oct 27 2020 at 20:55)</a>:</h4>
<p>or update the comment, idk</p>



<a name="214763014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763014">(Oct 27 2020 at 20:55)</a>:</h4>
<p>I guess you're talking about <a href="https://github.com/rust-lang/chalk/blob/ea532e03adfeb7fa6cc68881a1205a2f3d2b1933/chalk-solve/src/clauses.rs#L212">https://github.com/rust-lang/chalk/blob/ea532e03adfeb7fa6cc68881a1205a2f3d2b1933/chalk-solve/src/clauses.rs#L212</a></p>



<a name="214763126"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763126" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763126">(Oct 27 2020 at 20:56)</a>:</h4>
<p>but that still doesn't cover <code>TyKind::OpaqueTy</code></p>



<a name="214763134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763134">(Oct 27 2020 at 20:56)</a>:</h4>
<p>only the <code>TyKind::Alias</code> variant</p>



<a name="214763200"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763200" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763200">(Oct 27 2020 at 20:57)</a>:</h4>
<p>Yes, that's a bug I'm fixing</p>



<a name="214763250"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763250" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763250">(Oct 27 2020 at 20:57)</a>:</h4>
<p>Oh okay</p>



<a name="214763291"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763291" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763291">(Oct 27 2020 at 20:57)</a>:</h4>
<p>Okay, so, let's move on from this for now</p>



<a name="214763301"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763301" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763301">(Oct 27 2020 at 20:58)</a>:</h4>
<p>3 minutes left</p>



<a name="214763363"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763363" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763363">(Oct 27 2020 at 20:58)</a>:</h4>
<h1>Adding Subtyping and Variance to Chalk</h1>



<a name="214763371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763371">(Oct 27 2020 at 20:58)</a>:</h4>
<p>The PR is really close</p>



<a name="214763380"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763380" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763380">(Oct 27 2020 at 20:58)</a>:</h4>
<p>'nuff said :P</p>



<a name="214763401"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763401" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763401">(Oct 27 2020 at 20:58)</a>:</h4>
<h1>Refactor rustc’s Binder to track bound vars</h1>



<a name="214763428"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763428" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763428">(Oct 27 2020 at 20:58)</a>:</h4>
<p>I've been slowly chipping away at this in my branch</p>



<a name="214763482"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763482" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763482">(Oct 27 2020 at 20:59)</a>:</h4>
<p>But would maybe like to discuss with <span class="user-mention" data-user-id="116009">@nikomatsakis</span> in sync a bit</p>



<a name="214763493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763493">(Oct 27 2020 at 20:59)</a>:</h4>
<p>at some point</p>



<a name="214763522"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763522" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763522">(Oct 27 2020 at 20:59)</a>:</h4>
<h1>Make builtin Chalk types implements auto traits</h1>



<a name="214763524"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763524" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763524">(Oct 27 2020 at 20:59)</a>:</h4>
<p>when he stops disappearing <span aria-label="stuck out tongue" class="emoji emoji-1f61b" role="img" title="stuck out tongue">:stuck_out_tongue:</span></p>



<a name="214763525"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763525" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763525">(Oct 27 2020 at 20:59)</a>:</h4>
<p>which we talked about</p>



<a name="214763629"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763629" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763629">(Oct 27 2020 at 21:00)</a>:</h4>
<p>yep</p>



<a name="214763634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763634">(Oct 27 2020 at 21:00)</a>:</h4>
<p>Anyways, I think we should either plan to have a sync meeting about type library some time this week</p>



<a name="214763650"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763650" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763650">(Oct 27 2020 at 21:00)</a>:</h4>
<p>Or just plan to make next meeting that</p>



<a name="214763671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763671">(Oct 27 2020 at 21:00)</a>:</h4>
<p>(maybe do zoom)</p>



<a name="214763725"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763725" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763725">(Oct 27 2020 at 21:01)</a>:</h4>
<p>And we can call that "sprint planning"</p>



<a name="214763763"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763763" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763763">(Oct 27 2020 at 21:01)</a>:</h4>
<p>We can do one more sprint this year. And then take whatever time left at the end of the year for break</p>



<a name="214763791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763791">(Oct 27 2020 at 21:01)</a>:</h4>
<p>hm, not sure about doing that at the next meeting time</p>



<a name="214763866"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763866" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763866">(Oct 27 2020 at 21:02)</a>:</h4>
<p>probably less people participate in the zoom call, and for sprint planning it's useful to have people chime in with what they want to work on</p>



<a name="214763896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214763896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214763896">(Oct 27 2020 at 21:02)</a>:</h4>
<p>Yeah, I know <span class="user-mention" data-user-id="116009">@nikomatsakis</span> has been trying to set up some Chalk time on Fridays, so maybe then</p>



<a name="214764660"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214764660" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214764660">(Oct 27 2020 at 21:09)</a>:</h4>
<p>(sorry sorry, I got pulled away ..)</p>



<a name="214765275"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214765275" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214765275">(Oct 27 2020 at 21:15)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-10-27/near/214763401">said</a>:</p>
<blockquote>
<h1>Refactor rustc’s Binder to track bound vars</h1>
</blockquote>
<p>that's something I am quite interested in, so if you ever need another opinion or pair of eyes here please notify me</p>



<a name="214766073"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214766073" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214766073">(Oct 27 2020 at 21:23)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202020-10-27/near/214764660">said</a>:</p>
<blockquote>
<p>(sorry sorry, I got pulled away ..)</p>
</blockquote>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> when is good for a sync meeting for you</p>



<a name="214766244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214766244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214766244">(Oct 27 2020 at 21:25)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> good question</p>



<a name="214766358"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214766358" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214766358">(Oct 27 2020 at 21:26)</a>:</h4>
<p>it'd have to be this coming friday or next monday I think</p>



<a name="214766425"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/214766425" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#214766425">(Oct 27 2020 at 21:27)</a>:</h4>
<p>If <em>both</em> work for you, maybe create a poll and whoever is interested in joining can vote based on availability</p>



<a name="215006373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202020-10-27/near/215006373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202020-10-27.html#215006373">(Oct 29 2020 at 18:09)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> see above</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>